Assumptions: binary powers, self-dual
Conclusions: binary copowers
Proof: This holds by self-duality.